Homotopy Theory of Homotopy Algebras

نویسنده

  • BRUNO VALLETTE
چکیده

The goal of this paper is to study the homotopy theory of homotopy algebras over a Koszul operad with their infinity morphisms. The method consists in endowing the category of coalgebras over the Koszul dual cooperad with a model category structure. CONTENTS Introduction 1 1. Recollections 2 2. Model category structure for coalgebras 5 3. Conclusion 14 Appendix A. A technical lemma 15 References 16 INTRODUCTION In his seminal paper [Qui69], Quillen developed Rational Homotopy Theory by proving that several homotopy categories are equivalent. These homotopy categories are defined as localization with respect to weak equivalences, which are often quasi-isomorphisms. However, this result relies on a strong connectivity assumption. Hinich [Hin01] and then Lefevre-Hasegawa [LH03] showed how to bypass this assumption by considering on cocommutative and coassociative coalgebras respectively a class of weak equivalences, which is stricly included inside the class of quasi-isomorphisms. In the present paper, we extend Hinich and Lefevre-Hasegawa results to any category of conilpotent coalgebras over the Koszul dual of a Koszul operad: we endow them with a model category structure. This method allows us to prove the following main result, which gives a presentation of the homotopy categories of differential graded algebras over a Koszul operad in terms of∞-morphisms. Theorem (Theorem 3.1 and 3.2). Let P be a Koszul operad. Any∞-quasi-isomorphism of P∞-algebras admits a homotopy inverse. The following categories are equivalent Ho(dg P-alg) ' Ho(∞-P∞-alg) ' ∞-P∞-alg/ ∼h ' ∞-P-alg/ ∼h . Layout. The paper is organized as follows. We begin by some recollections on operadic homological algebra and on the model category for algebras. In the second section, we endow the category of coalgebras over a Koszul dual cooperad with a model category structure. Prerequisites. The reader is supposed to be familiar with the notion of an operad and operadic homological algebra, for which we refer to the book [LV12]. In the present paper, we use the same notations as used in this reference. Framework. Throughout this paper, we work over a field K of characteristic 0. Every chain complex is Z-graded with homological degree convention, i.e. with degree −1 differential. All the S-modules M = {M(n)}n∈N are reduced, that is M(0) = 0.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Derived Algebraic Geometry XIII: Rational and p-adic Homotopy Theory

1 Rational Homotopy Theory 4 1.1 Cohomological Eilenberg-Moore Spectral Sequences . . . . . . . . . . . . . . . . . . . . . . . . 5 1.2 k-Rational Homotopy Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.3 Rational Homotopy Theory and E∞-Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 1.4 Differential Graded Lie Algebras . . . . . . . . . . ...

متن کامل

ar X iv : m at h / 00 10 12 6 v 1 [ m at h . A T ] 1 2 O ct 2 00 0 RATIONAL OBSTRUCTION THEORY AND RATIONAL HOMOTOPY SETS

We develop an obstruction theory for homotopy of homomorphisms f, g : M → N between minimal differential graded algebras. We assume that M = ΛV has an obstruction decomposition given by V = V0⊕V1 and that f and g are homotopic on ΛV0. An obstruction is then obtained as a vector space homomorphism V1 → H(N ). We investigate the relationship between the condition that f and g are homotopic and th...

متن کامل

On Homotopy Invariance for Algebras over Colored Props

Over a monoidal model category, under some mild assumptions, we equip the categories of colored PROPs and their algebras with projective model category structures. A BoardmanVogt style homotopy invariance result about algebras over cofibrant colored PROPs is proved. As an example, we define homotopy topological conformal field theories and observe that such structures are homotopy invariant.

متن کامل

Shape Theory and Asymptotic Morphisms for C*-algebras

In this paper we relate two topological invariants of a separable C*-algebras. The first is the shape invariant first studied by Effros and Kaminker [EK] and then developed further by Blackadar [B]. The second invariant is the isomorphism class of a C*-algebra in the asymptotic homotopy category A introduced by Connes and Higson [CH]. We prove that two separable C*-algebras are shape equivalent...

متن کامل

Homotopy Theories of Algebras over Operads

Homotopy theories of algebras over operads, including operads over “little ncubes,” are defined. Spectral sequences are constructed and the corresponding homotopy groups are calculated.

متن کامل

4 Homotopy Operations and Rational Homotopy Type

In [HS] and [F1] Halperin, Stasheff, and Félix showed how an inductively-defined sequence of elements in the cohomology of a graded commutative algebra over the rationals can be used to distinguish among the homotopy types of all possible realizations, thus providing a collection of algebraic invariants for distinguishing among rational homotopy types of spaces. There is also a dual version, in...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012